∀(zero : Natural) → Natural
